Graphes canoniques de graphes algébriques
نویسنده
چکیده
— Concerning algebraic grammars in reduced form, bisimulation in the graph ofleft dérivations is known to be décidable. The quotient of the above graph by ils greatest bisimulation, called the canonical graph, is indeed isomorphic to the graph ofleft dérivations for another algebraic grammar in reduced form, produced by an effective procedure.
منابع مشابه
On Rational Graphs
Using rationality, like in language theory, we de ne a family of in nite graphs. This family is a strict extension of the context-free graphs of Muller and Schupp, the equational graphs of Courcelle and the pre x recognizable graphs of Caucal. We give basic properties, as well as an internal and an external characterization of these graphs. We also show that their traces form an AFL of recursiv...
متن کاملDes grammaires de graphes contextuelles qui charactérisent les langages contextuels
Deterministic graph grammars generate a family of infinite graphs which characterize context-free (word) languages. In this paper we presents a context-sensitive extension of these grammars. We achieve a characterization of context-sensitive (word) languages. We show that this characterization is not straightforward and that unless having some rigorous restrictions, contextual graph grammars ge...
متن کاملA Hypocoloring Model for Batch Scheduling (Preliminary version)
Nous considérons un problème de sous-coloration pondérée dans un graphe modélisant des problèmes d’ordonnancement par lots ; chaque sommet v a un poids w(v) ; chaque couleur S est une collection de cliques disjointes deux à deux (au sens des sommets et des arêtes). Le poids w(S) est défini comme étant max{w(K) = ∑ v∈K w(v)| Kclique ∈ S}. Dans ce problème d’ordonnancement, le temps d’exécution e...
متن کاملVotre Plan d'Exécution de Requêtes est un Circuit Intégré : Changer de Métier
Résumé. Dans la première génération des bases de données, les optimiseurs étaient conçus pour optimiser des requêtes individuelles. Après identification des interactions entre les requêtes, des optimiseurs étaient proposés pour offrir une optimisation multiple. La difficulté de cette optimisation est l’identification des expressions communes entre les requêtes. Ce problème est connu comme NP-di...
متن کاملRéécriture de Graphes Admissibles : Confluence et Stratégie
Nous considérons la réécriture de graphes en tant que sémantique opérationnelle des langages “équationnels”. Nous nous plaçons dans le cadre des signatures avec constructeurs. Nous commençons par caractériser un sous-ensemble de graphes dits graphes admissibles. Un graphe est admissible si aucun de ses cycles ne contient de fonction définie. Ensuite, nous considérons la relation de réécriture s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- ITA
دوره 24 شماره
صفحات -
تاریخ انتشار 1990